O artigo versa sobre a aparição e os desdobramentos de algumas, dentre as principais abordagens da fenomenologia, no que se refere ao problema do sentido intuitivo do dado fenomenológico. Qual sua natureza? Como deve ser teorizada sua objetividade? Bem como, o sentido de sua imediaticidade? É um artigo bastante simplificador do problema, no qual se tem como objeto apresentar a dinâmica do trabalho fenomenológico no período entre 1874 e 1945 a partir de uma brevíssima exposição das polêmicas internas da tradição (...) fenomenológica, com uma sublocação das características do conceito e destas querelas. (shrink)

Este relato de experiência apresenta resultados da pesquisa sobre a Saúde em Santo Amaro: a partir dos saberes tradicionais das rezadeiras/benzedeiras que teve por objetivo analisar as práticas medicinais e espirituais com o sagrado. A pesquisa etnográfica foi realizada com as rezadeiras, dessa forma, estabelecendo fronteiras com os rituais de cura, fé e devoção, nos processos de aprendizagem, aos mais variados tipos de doenças, as rezas e as curas, sendo assim, realizadas por elas. As rezadeiras/benzedeiras são mulheres cujo valor histórico, (...) tornando-se as suas benzeduras símbolo de resistência humana, na sua prática sobre as benzeduras. Entretanto, vale fomentar na pesquisa, sobretudo, as suas práticas também estão relacionadas a conhecimentos católicos, indígena, africana, com seus “cânticos” e “rezas” religiosas, trazendo consigo o desejo da fé de resultar o seu trabalho por alcances estabelecidos nas suas práticas reverenciadas assim as pessoas que procuram por elas. O objeto é tentar caminhar ao longo da história, em conjunto com as práticas religiosas, percebendo as inúmeras implicações produzidas pela sociedade. O contexto etnográfico da pesquisa foi na cidade de Santo Amaro. Palavras-chave: Saúde, Benzedeira, Espiritualidade. (shrink)

En la última década en la Argentina se implementaron una serie de políticas sociales denominadas socio-productivas, socio-laboral y socio-económicas con el objeto de mejorar la situación de desempleo o precariedad laboral de la población. Las mismas pueden considerarse un modo de compensación de los efectos de exclusión del régimen de producción y acumulación vigente. En este contexto en el año 2009 nace el Plan “Ingreso Social con Trabajo” desde el Ministerio de Desarrollo Social, que declara tener como objetivo generar puestos (...) de trabajo genuino, con igualdad de oportunidades, fundado en el trabajo organizado y comunitario, incentivando e impulsando la formación de organizaciones sociales de trabajadores, quienes tendrán a su cargo el desarrollo de las acciones. El presente artículo intentará analizar dichos objetivos a partir del relato de destinatarias del Plan, revisando tres conceptos claves: cooperativas, trabajo e inclusión. (shrink)

El objetivo de este artículo es plantear algunos desafíos epistémicos para la investigación social en Latinoamérica desde la discusión de la utilidad de la auto-etnografía como una estrategia metodológica. La línea argumentativa seleccionada para alcanzar el aludido objetivo es la siguiente: a) se reseñan algunas de las discusiones sobre el lugar del investigador en las ciencias sociales en la literatura de finales del siglo XX en los países centrales, b) se señalan las principales características de la auto-etnografía, c) se bosqueja (...) una experiencia del uso de la auto-etnografías en una investigación, y finalmente, d) se discuten algunas moralejas y desafíos que se pueden extraer desde lo narrado.The aim of this article is to discuss some epistemic challenges for social research in Latin America since the consideration of the usefulness of auto-ethnography as a methodological strategy. The argumentative strategy selected to achieve the objective is: a) outline some of the discussions on the place of the researcher in social sciences in the literature of the late twentieth century, b) indicates the main characteristics of the auto-ethnography, c) outlines an experience of using auto-ethnographies in research, and finally, d) discuss some conclusions and challenges that can be extracted. (shrink)

Uno de los puntos más recurrentes en los últimos años en las políticas sociales en la Argentina es la presencia cada vez más importante de las mujeres como "sujetos" de dichas políticas. En contraste con la difusión oficial de los beneficios de la intervención en los contextos de pobreza y expulsión social, los relatos de las mujeres dibujan un conjunto de experiencias y sensibilidades de segregación y dependencia cada vez mayor. El presente artículo tiene por objetivo hacer evidente desde la (...) voz de las mujeres pobres del conurbano bonaerense, las políticas de los cuerpos y de las emociones que los planes que ellas reciben construyen e implican. La estrategia argumentativa es la siguiente: a) se sintetiza el punto de partida teórico y metodológico del trabajo, b) se presenta un bosquejo de la problemática desde los relatos de las mujeres, y c) se resumen algunas de las conclusiones del estudio realizado. (shrink)

RESUMO: O objeto deste artigo é a noção de pós-modernismo, em torno da qual se travou um amplo debate que, num passado recente, alcançou grande projeção, e arrefeceu de modo algo abrupto. Buscaremos demonstrar que uma consideração crítica acerca do referido debate amplia nossa compreensão a propósito do capitalismo contemporâneo e, nesse sentido, por um lado, será realizado um esforço de apreensão conceitual, com o intuito de fixar as principais determinações do pós-modernismo. Por outro lado, tentaremos ancorar historicamente o debate (...) sobre o pós-modernismo, localizando certas articulações entre o desenvolvimento teórico e o processo histórico que lhe é subjacente. ABSTRACT: The object of this article is the notion of postmodernism, a topic around which was established a wide-ranging debate that achieved wide publicity in the fairly recent past. This debate, however, has since cooled abruptly. We will seek to demonstrate that a critical consideration of this debate enhances our understanding of contemporary capitalism. We first make an effort at conceptual apprehension, in order to establish the main determinations of postmodernism. We then try to historically anchor the debate on postmodernism, locating certain connections between its theoretical development and underlying historical processes. (shrink)

This article is part of a For-Discussion-Section of Methods of Information in Medicine about the paper "Biomedical Informatics: We Are What We Publish", written by Peter L. Elkin, Steven H. Brown, and Graham Wright. It is introduced by an editorial. This article contains the combined commentaries invited to independently comment on the Elkin et al. paper. In subsequent issues the discussion can continue through letters to the editor.

A mineradora Vale S.A., ativamente atuante na região de Mariana e Ouro Preto, no Estado de Minas Gerais, idealizou um projeto direcionado à Educação Patrimonial que durante 8 anos foi considerado como um dos principais projetos com viés cultural da região. Neste contexto, considerando que a Educação Patrimonial é de extrema importância para a formação da identidade cultural e social do indivíduo autônomo, objetiva-se analisar, sob a perspectiva crítica, as inter-relações entre o Programa de Educação Patrimonial Trem da Vale com (...) o conceito que carrega a Indústria Cultural, conforme cunhado pelos teóricos críticos Theodor Adorno e Horkheimer no livro “Dialética do Esclarecimento” (1985). Para tanto, para a realização da análise empírica utilizou-se como categoria de sentido a tese de Francisco Rüdiger (2004) sobre os esquematismos interpretativos comumente presentes nas práticas da Indústria Cultural. (shrink)

Nesta apresentação, breve homenagem ao professor Franklin Leopoldo e Silva, nossa proposta é investigar o modo pelo qual o autor compreende a relação entre literatura e filosofia, sobretudo a partir de certa aproximação proposta por ele entre a obra de Proust e o pensamento de Bergson. Para essa discussão, nos apoiamos aqui especialmente em seu ensaio Bergson, Proust: tensões do tempo.

For the epic journey of autumn migration, long-distance migratory birds use innate and learned information and follow strict schedules imposed by genetic and epigenetic mechanisms, the details of which remain largely unknown. In addition, bird migration requires integrated action of different multisensory systems for learning and memory, and the hippocampus appears to be the integration center for this task. In previous studies we found that contrasting long-distance migratory flights differentially affected the morphological complexity of two types of hippocampus astrocytes. Recently, (...) a significant association was found between the latitude of the reproductive site and the size of the ADCYAP1 allele in long distance migratory birds. We tested for correlations between astrocyte morphological complexity, migratory distances, and size of the ADCYAP1 allele in three long-distance migrant species of shorebird and one non-migrant. Significant differences among species were found in the number and morphological complexity of the astrocytes, as well as in the size of the microsatellites of the ADCYAP1 gene. We found significant associations between the size of the ADCYAP1 microsatellites, the migratory distances, and the degree of morphological complexity of the astrocytes. We suggest that associations between astrocyte number and morphological complexity, ADCYAP1 microsatellite size, and migratory behavior may be part of the adaptive response to the migratory process of shorebirds. (shrink)

Thagard presented a framework for conceptual change in science based on conceptual systems. Thagard challenged belief revision theorists, claiming that traditional belief-revision systems are able to model only the two most conservative types of changes in his framework, but not the more radical ones. The main aim of this work is to take up Thagard’s challenge, presenting a belief-revision-like system able to mirror radical types of conceptual change. We will do that with a conceptual revision system, i.e. a belief-revision-like system (...) that takes conceptual structures as units of revisions. We will show how our conceptual revision and contraction operations satisfy analogous of the AGM postulates at the conceptual level and are able to mimic Thagard’s radical types of conceptual change. (shrink)

Background Italy was the first European country to be involved with the COVID-19 pandemic. As a result, many healthcare professionals were deployed and suddenly faced end-of-life care management and its challenges. Aims To understand the experiences of palliative care professionals deployed in supporting emergency and critical care staff during the COVID-19 first and second pandemic waves. Research design A qualitative descriptive design was adopted, and in-depth interviews were used to investigate and analyse participants’ perceptions and points of view. Participants and (...) research context Twenty-four healthcare professionals (physicians, nurses, psychologists, physiotherapists, and spiritual support) from the most affected areas of Italy were recruited via the Italian society of palliative care and researchers’ network. Ethical considerations The University Institutional Board granted ethical approval. Participants gave written informed consent and agreed to be video-recorded. Findings The overarching theme highlighted participants’ experience supporting health professionals to negotiate ethical complexity in end-of-life care. Crucial topics that emerged within themes were: training emergency department professionals on ethical dimensions of palliative and end-of-life care, preserving dying patients’ dignity and developing ethical competence in managing end-of-life care. Conclusions Our study showed palliative care teams’ challenges in supporting health professionals’ ethical awareness in emergencies. However, while they highlighted their concerns in dealing with the emergency staff’s lack of ethical perspectives, they also reported the positive impact of an ethically-informed palliative care approach. Lastly, this study illuminates how palliative care professionals’ clinical and ethical competence might have assisted a cultural change in caring for dying patients during COVID-19 and future emergencies. (shrink)

El concepto de autoestima ha ido cambiando a lo largo de los tiempos. Este estudio tiene como objetivo analizar como el uso de este constructo para la investigación en salud en Brasil contribuyó a su sistematización conceptual y aplicabilidad clínica. Se trata de un estúdio descriptivo de revisión de la literatura; en el que se llegó a la conclusión de que la medición de la autoestima resultó ser eficiente en la conducción de la investigación en salud con diferentes audiencias, que (...) varían en edad, la ocupación, la relación con los perfiles sociodemográficos y de salud-enfermedad.. A concepção sobre autoestima foi mutável no transcorrer das épocas. O presente estudo teve por finalidade analisar como a utilização desse constructo pelas pesquisas em saúde no Brasil, contribuiu para sua sistematização conceitual e aplicabilidade clínica. Trata-se de um estudo descritivo de revisão teórica; no qualse concluiu que, por ter um aspecto mais avaliativo, a mensuração daautoestima mostrou-se bastante eficiente na condução de pesquisas em saúde com diferentes públicos, variando em faixa etária, ocupação, relação com variáveis sociodemográficas, e perfis de saúde-doença. The concept of self-esteem has changed throughout times. The objective of this study is analyzing how the use of this construct in health research in Brazil contributed to its conceptual systematization and clinical applicability. It is a descriptive study of bibliographic review which led to the conclusion that, by having another evaluation aspect, measuring self-esteem turned out to be very efficient in conducting the health research with different audiences that vary in age, occupation and the relation with sociodemographic and health-disease profiles. (shrink)

O objetivo deste artigo é discutir o modo como Husserl desenha a originalidade da subjetividade transcendental, frente à sua homônima psicológica. Se é certo que a noção de “imanência autêntica” pode apontar para as diferentes fronteiras entre o transcendental e o psicológico, resta que por si só ela não permite decidir nada quanto ao “modo de ser” transcendental, em sua diferença face ao “mundano”. Sendo assim, procura-se reconstituir alguns dos momentos centrais do esforço husserliano para construir um conceito de “subjetivo” (...) e de “subjetividade” que não se confunda mais com o “psíquico” da psicologia tradicional. (shrink)

O objetivo deste artigo é discutir o modo como Husserl desenha a originalidade da subjetividade transcendental, frente à sua homônima psicológica. Se é certo que a noção de “imanência autêntica” pode apontar para as diferentes fronteiras entre o transcendental e o psicológico, resta que por si só ela não permite decidir nada quanto ao “modo de ser” transcendental, em sua diferença face ao “mundano”. Sendo assim, procura-se reconstituir alguns dos momentos centrais do esforço husserliano para construir um conceito de “subjetivo” (...) e de “subjetividade” que não se confunda mais com o “psíquico” da psicologia tradicional. (shrink)

Este trabalho pretende comentar a doutrina que Merleau-Ponty expõe, em seus distintos períodos, sobre o que caracteriza a obra clássica e sua interpretação. Aponta-se como pressupostos dessa doutrina a admissão de uma certa filosofia da linguagem, bem como de uma particular teoria da produtividade. Em função disso, pergunta-se se, efetivamente, foi feita, ali, uma crítica radical da "filosofia da consciência", como usualmente se supõe.  .

Propõe a expansão da classe Espiritismo na Classificação Decimal de Dewey. Justifica a proposta devido ao grande número de adeptos e à produção literária espírita. Evidencia que o Espiritismo é a oitava religião com mais praticantes no mundo e a terceira no Brasil. Apresenta a importância da doutrina espírita ao redor do mundo e no Brasil. Utiliza a teoria proposta por Vanda Brougthon para religião e acrescenta as facetas ciência, filosofia, religião e aspectos gerais da Doutrina Espírita. Analisa propostas de (...) expansão de classes existentes e elabora uma revisão de literatura acerca da história do espiritismo. Utiliza a metodologia de Barité para modificação de esquemas de classificação. Os termos foram coletados a partir do tesauro espírita e da obra de referência da Federação Espírita Brasileira e sistematiza os conceitos hierarquicamente. Propõe a expansão da classe 202 – Doutrina a partir da identificação e sistematização dos conceitos, colocando-os de forma notacional. Conclui que uma doutrina com tantos adeptos e com uma grande produção literária deve ser representada adequadamente na Classificação Decimal de Dewey e a que a mesma oferece pouco espaço de representação na classe 200 para as diversas religiões praticadas no mundo. (shrink)

O artigo visa discutir o papel que a obra de John Rawls possui para o projeto teórico de Rainer Forst. Trata-se de acompanharas principaisleituras que Forst realiza sobre esse autor e discutir algumas consequências que podem ser delas depreendidas para seu modelo crítico. Assim, em primeiro lugar, discute-se a tentativa de Forst em aproximar os critérios de reciprocidade e universalidade, de seu princípio de justificação, à teoria de Rawls, ao mesmo tempo em que acusa Rawls de que sua configuração da (...) posição original atribui conteúdos substantivos aos princípios de justiça, que, na verdade, só poderiam ser concebidos comoum princípio fundamental de justificação (I). Em seguida, observa-se a leitura que Forst realiza sobre o debate entre Habermas e Rawls, a fim de extrair uma alternativa a ambos. Novamente Forst faz um movimento de aproximação e crítica a Rawls (II). Em um terceiro momento, examina-se outra tentativa de aproximação e superação à obra de Rawls, mas dessa vezatravés da distinção entre duas imagens da justiça(III). Por fim, o artigo apresenta duas interpretações gerais sobe essas leituras: que existem certas constantes nos argumentos que unem e que pretendem superar Rawls; e que contém possíveis problemas,com consequências que ocasionam certos entraves para sua teoriaem sua pretensão de ser crítica. (shrink)

Neste trabalho, explicamos de que maneira a teoria do filósofo inglês do século XVII, Thomas Hobbes, pode ser aproveitada e aplicada, com as devidas proporções e limitações, ao atual contexto de pandemia no que circunscreve o Brasil. Mais especificamente, analisaremos a situação atual a partir de casos concretos do fenômeno definido como bolsonarismo, termo utilizado para se referir às políticas e à ideologia do atual Presidente da República Federativa do Brasil e seus filhos. Os seguidores do bolsonarismo são conhecidos por (...) tratarem o presidente como uma espécie de herói que irá salvar a nação. Levando em consideração a teoria hobbesiana de origem contratual do Estado Moderno – visto que este último é a base política do Ocidente – em nossa investigação, iremos recorrer aos princípios propostos pelo filósofo seiscentista para avaliar as possíveis causas que levariam ao esfacelamento do Estado brasileiro frente à atual crise governamental agravada e gerada pela pandemia do novo coronavírus. Além disso, abordaremos a necessidade de dois elementos hobbesianos basilares para assegurar a soberania estatal plenamente: a autoridade política e a liberdade republicana. A posição defendida pelo autor será estudada a partir do _Leviatã_, obra que concentra a maior parte das discussões hobbesianas acerca da desobediência civil, em conjunto, certamente, com outros comentadores de peso e demais referenciais teóricos pertinentes. Por fim, trata-se de um convite à desobediência civil, associado a um autor que constrói a sua teoria a partir da submissão de súditos a um poder soberano. (shrink)

La province jésuite du Brésil est parcourue au début du XVIIe siècle par une série de tensions qui relèvent autant de son rapport à la société coloniale contemporaine que de ses relations avec le centre romain. À travers l'étude d'un document programmatique exceptionnel et original, dont l'auteur et la date de rédaction demeurent inconnus, les Advertências para a provincia do Brasil, on analyse l'inscription de l'entreprise missionnaire dans sa double dimension économicopolitique, avec l'engagement dans la production sucrière, et spirituelle, assurer (...) le salut du missionnaire et la conversion des Indiens. Ce projet, qui fait de l'a ldeia la structure déterminante de la présence et de l'action jésuites en terre de Brésil, révèle une vision globale de la mission, à la fois géopolitique, économique et religieuse que l'historiographie traditionnelle a occultée au profit d'une approche exclusivement spirituelle. (shrink)

Cognitive sciences as an interdisciplinary field, involving scientific disciplines (such as computer science, linguistics, psychology, neuroscience, economics, etc.), philosophical disciplines (philosophy of language, philosophy of mind, analytic philosophy, etc.) and engineering (notably knowledge engineering), have a vast theoretical and practical content, some even conflicting. In this interdisciplinary context and on computational modeling, ontologies play a crucial role in communication between disciplines and also in a process of innovation of theories, models and experiments in cognitive sciences. We propose a model for (...) this process here. An ontological commitment is advocated as the framework of a scientific realism, which leads computational modeling to search for more realistic models, for a complex systems perspective of nature and cognition. In that way multiagent modeling of complex systems has been fulfilling an important role. (shrink)

Este artigo apresenta de modo ensaístico e embrionário, algumas reflexões acerca dos valores da previsão e do medo na filosofia jonasiana como valores necessários, ou ao menos desejáveis, para as ações governamentais diante de uma ameaça ao futuro da humanidade. Para isso, propomos um paralelo entre a realidade pandêmica atual e a filosofia de Hans Jonas, desenvolvendo em seguida sua concepção sobre tais valores. Nossas conclusões apontam de modo provocativo para aquilo que as futuras vítimas fatais da Covid-19 esperam hoje (...) do seu atual governo. Portanto, para que as pessoas comuns possam ter esperança sobre a manutenção das suas vidas e a volta de uma vida que antes era reconhecida como “normal”, é necessário que o nosso governo se oriente pelo temor diante das previsões potencialmente catastróficas. (shrink)

Mapeando brevemente alguns eventos desencadeados pelo período denominado, por alguns cientistas, como Antropoceno, este estudo busca estabelecer um observatório deste período através da ótica do campo das artes, do cinema e da filosofia. Pretende-se compreender como práticas artísticas podem ser concebidas de forma a sublinhar as incoerências referentes à intervenção humana no sistema e na atmosfera terrestre. Para tal, este estudo recruta trabalhos de artistas como Alice Miceli, Andrei Tarkovsky e Jacob Kirkegaard, em suas potencialidades de prevenção, educação e crítica (...) em relação a distintas implicações relacionadas ao desastre nuclear de Chernobyl. Assim, é compreendida a possibilidade de trabalhos de arte em atuar como revisita histórica e análise geo-histórica, bem como meios de potencializar críticas às injustiças provocadas pelo Antropoceno.Palavras-chave: Arte contemporânea; Antropoceno; Energia nuclear; Justiça Climática. (shrink)

O objetivo deste artigo é discutir a noção humiana de "crença", frequentemente vita como adendo "psicológico" à correta doutrina epistemológica do autor. Tenta-se sugerir que são partilha das obsessões da epistemologia contemporânea.

Considering the basic assumption that the modern Law and State theory does not only bear similarities, but also draws true epistemological parallels to theconstructions of Theology, Hans Kelsen intends to lay bare the ideological meaning that lies at the very core of the traditional dualism which constitutes Law and State into autonomous entities. Taking into account Kelsen´s original perceptions – which are seconded by more recent contributions from Claude Lefort and Hans Lindahl’s political and symbolic concepts and from Carl Schmitt’s (...) notions on political theology – our intention is now to demonstrate the highly conservative role played by the duality of the Law/State structure, whose aim is to remove, from under the sway of legal control, a considerable part of the State’s actions.Herebelow, therefore, we will analyse the very legitimacy of the so-called “Public Law,” which seems to point to a trend towards shunning the legal power regulation. Finally, based on the functional method pioneered by Ernst Cassirer, legal institutions such as “collective will” and “public interest” will be problematised, in order to ascertain whether they contain theological, conservative and authoritarian traits incompatible with the conceptual and substantial unity intrinsic to the Rule of Law. (shrink)

Este artigo tem como objetivo principal investigar a relação existente entre a percepção da felicidade dos brasileiros, sua satisfação com a vida e a satisfação com o regime democrático no período de 2017 a 2020. Nossa hipótese de trabalho postula que o declínio da felicidade e da satisfação com a vida, de uma forma geral, guarda relação de associação com a satisfação com a democracia e suas instituições. Assim, o artigo sugere que felicidade e democracia no Brasil são duas variáveis (...) associadas que ajudam a explicar em parte as fragilidades de nosso regime democrático e devem ser foco de atenção de nossas políticas públicas. A base empírica deste artigo é a sétima onda da Pesquisa Mundial de Valores (WVS, 2017-2020), por meio de pesquisa quantitativa, tipo survey, que utilizaremos para demonstrar nosso argumento. (shrink)

O presente trabalho tem como objetivo desenvolver uma comparação direta entre a ética da futurologia jonasiana e o neopragmatismo rortyano no que diz respeito ao tema da esperança na prática política. Este tema foi amplamente discutido por Ernest Bloch que propõe um princípio esperança capaz de ser o impulso basilar para que o homem transcenda o presente em direção ao futuro. Por sua vez, Richard Rorty aborda este tema enquanto esperança social, que diz respeito à manutenção do orgulho nacional capaz (...) de tornar-se condição necessária para o auto-aperfeiçoamento da sociedade. Porém, Hans Jonas trará a esse discurso da esperança uma perspectiva da ética da responsabilidade que prefere a prudência às previsões das ações a longo prazo enquanto promessa para um “mais” ou “melhor”. (shrink)

Compreender a violência na sociedade contemporânea requer o mapeamento dos fatores geradores de atos violentos bem como sua prevenção por meio de políticas públicas e de processos educacionais. Este artigo traz algumas reflexões sobre a racionalidade comunicativa e a violência escolar no contexto da crescente exclusão social e a crise de horizontes utópicos para a construção da educação e da formação de sujeitos de direitos. A abordagem metodológica está ancorada na perspectiva da análise de conteúdo de Laurence Bardin (2016), do (...) documento ‘Violência escolar e bullying: relatório sobre a situação mundial’, publicado pela Organização das Nações Unidas para a Educação, a Ciência e a Cultura (UNESCO). São analisadas as pretensões de validade das informações e dos dados considerados relevantes por meio da elaboração de dois eixos principais para analisar a violência escolar apresentada no relatório: a) definições e amparos legais; b) impactos e principais desafios sobre a violência escolar e o bullying. Nessa perspectiva, recorreremos à Racionalidade Comunicativa, ponto central da Teoria do Agir Comunicativo, de Jürgen Habermas, para refletir sobre os achados e saber quais as bases consideradas relevantes para se construir uma educação para a paz alicerçada no diálogo e no entendimento. (shrink)

This article proposes a reflection on the persistence of Nazi jurisdictional models in contemporary legal theory, briefly comparing the work of authors such as Wolf, Larenz, Schmitt, Dworkin and Alexy. It aims to demonstrate the authoritarian and radically undemocratic character of certain theoretical constructions used in adjudication, particularly in Brazil. For this purpose, three representative judicial decisions from 2016 are analyzed, highlighting typical structural features of Nazi legal theory which remain accepted by current legal theory, such as the disregard for (...) legality, the personification of the community as judge and the appeal to social values which are taken as self-evident. (shrink)

Apresentaremos as possíveis aplicações pedagógicas das suas reflexões, como a utilização da imprecisão científica de Heisenberg e da concepção de técnica em Heidegger, a partir da análise histórico-filosófica dos seus escritos, tomando-os como fundamentação a necessária e significativa melhoria da educação técnico-científica.

Primeiramente fazemos uma breve discussão sobre a concepção defendida por Gramsci acerca do que caracteriza um intelectual, bem como sua função social nas distintas formações sociais, como desdobramento de tal reflexão do autor sardo, apresentamos sua conhecida distinção, operada no “Caderno 12”, entre os „intelectuais tradicionais‟ e os „intelectuais orgânicos‟ destacando sua práxis social. Por fim, valendo-nos dos escritos do autor no “Caderno 13”, ressaltamos a importância do intelectual orgânico na constituição do partido revolucionário.First we give a brief discussion about (...) the concept advocated by Gramsci about what characterizes an intellectual as well as its social function in different social formations, as a consequence of such a reflection of the author Sardinian, presented his famous distinction, operated in the "Notebook 12" between the 'traditional intellectuals' and 'organic intellectuals' highlighting its social praxis. Finally, drawing upon the writings of the author in "Notebook 13", highlight the importance of the organic intellectual in the constitution of the revolutionary party. (shrink)

We present the system SUBSEXPL used for simulating and comparing explicit substitutions calculi. The system allows the manipulation of expressions of the λ-calculus and of three different styles of explicit substitutions: the λσ, the λse and the suspension calculus. A variation of the suspension calculus, which allows for combination of steps of β-contraction is included too. Implementations of the η-reduction are provided for each style. Other explicit substitutions calculi can be easily incorporated into the system due to its modular structure. (...) The uses of the system include: the visualization of the contractions of the λ-calculus in de Bruijn notation, and of guided one-step reductions as well as normalization via each of the associated substitution calculi. Many useful facilities are included: reductions can be easily recorded as text files, LATEX outputs can be generated and several examples for dealing with arithmetic operations and computational operators such as conditionals and repetitions in the λ-calculus are available. The system can be executed over Emacs using the x-symbol mode in such a way that λ-terms and terms of the explicit substitutions calculi are represented in its natural syntax avoiding the necessity of repeatedly generating LATEX outputs. The system has been of great help for systematically comparing explicit substitutions calculi, as well as for understanding properties of explicit substitutions such as the Preservation of Strong Normalization. In addition, it has been used for teaching basic properties of the λ-calculus such as: computational adequacy, the usefulness of de Bruijn's notation and of making explicit substitutions in real implementations. (shrink)

We generalize a previous result about dynamically consistent menu preferences to the case where preferences are not necessarily complete. We show that, as it is the case when preferences are complete, a subjective state space version of dynamic consistency is linked to a comparative theory of preference for flexibility. In words, an objective signal is interpreted as an event in the agent’s subjective state space and the agent acts in a dynamically consistent way after that if and only if we (...) can attribute all the differences between the agent’s preferences before and after the signal to the fact that the agent values flexibility more before the signal than after. (shrink)

This book addresses the issue of determinism in Avicenna and Averroes through an analysis of their views on chance, matter and divine providence. It sets the debate against the philosophical/historical background of Aristotelianism, Neoplatonism and Islamic theology.

Lean is a new open source theorem prover being developed at Microsoft Research and Carnegie Mellon University, with a small trusted kernel based on dependent type theory. It aims to bridge the gap between interactive and automated theorem proving, by situating automated tools and methods in a framework that supports user interaction and the construction of fully specified axiomatic proofs. Lean is an ongoing and long-term effort, but it already provides many useful components, integrated development environments, and a rich API (...) which can be used to embed it into other systems. It is currently being used to formalize category theory, homotopy type theory, and abstract algebra. We describe the project goals, system architecture, and main features, and we discuss applications and continuing work. (shrink)

Formal verification involves the use of logical and computational methods to establish claims that are expressed in precise mathematical terms. These can include ordinary mathematical theorems, as well as claims that pieces of hardware or software, network protocols, and mechanical and hybrid systems meet their specifications. In practice, there is not a sharp distinction between verifying a piece of mathematics and verifying the correctness of a system: formal verification requires describing hardware and software systems in mathematical terms, at which point (...) establishing claims as to their correctness becomes a form of theorem proving. Conversely, the proof of a mathematical theorem may require a lengthy computation, in which case verifying the truth of the theorem requires verifying that the computation does what it is supposed to do. The gold standard for supporting a mathematical claim is to provide a proof, and twentieth-century developments in logic show most if not all conventional proof methods can be reduced to a small set of axioms and rules in any of a number of foundational systems. With this reduction, there are two ways that a computer can help establish a claim: it can help find a proof in the first place, and it can help verify that a purported proof is correct. Automated theorem proving focuses on the “finding” aspect. Resolution theorem provers, tableau theorem provers, fast satisfiability solvers, and so on provide means of establishing the validity of formulas in propositional and first-order logic. Other systems provide search procedures and decision procedures for specific languages and domains, such as linear or nonlinear expressions over the integers or the real numbers. Architectures like SMT combine domain-general search methods with domain-specific procedures. Computer algebra systems and specialized mathematical software packages provide means of carrying out mathematical computations, establishing mathematical bounds, or finding mathematical objects. A calculation can be viewed as a proof as well, and these systems, too, help establish mathematical claims. Automated reasoning systems strive for power and efficiency, often at the expense of guaranteed soundness. Such systems can have bugs, and it can be difficult to ensure that the results they deliver are correct. In contrast, interactive theorem proving focuses on the “verification” aspect of theorem proving, requiring that every claim is supported by a proof in a suitable axiomatic foundation. This sets a very high standard: every rule of inference and every step of a calculation has to be justified by appealing to prior definitions and theorems, all the way down to basic axioms and rules. In fact, most such systems provide fully elaborated “proof objects” that can be communicated to other systems and checked independently. Constructing such proofs typically requires much more input and interaction from users, but it allows us to obtain deeper and more complex proofs. The Lean Theorem Prover aims to bridge the gap between interactive and automated theorem proving, by situating automated tools and methods in a framework that supports user interaction and the construction of fully specified axiomatic proofs. The goal is to support both mathematical reasoning and reasoning about complex systems, and to verify claims in both domains. (shrink)

The ethics of autonomous vehicles has received a great amount of attention in recent years, specifically in regard to their decisional policies in accident situations in which human harm is a likely consequence. Starting from the assumption that human harm is unavoidable, many authors have developed differing accounts of what morality requires in these situations. In this article, a strategy for AV decision-making is proposed, the Ethical Valence Theory, which paints AV decision-making as a type of claim mitigation: different road (...) users hold different moral claims on the vehicle’s behavior, and the vehicle must mitigate these claims as it makes decisions about its environment. Using the context of autonomous vehicles, the harm produced by an action and the uncertainties connected to it are quantified and accounted for through deliberation, resulting in an ethical implementation coherent with reality. The goal of this approach is not to define how moral theory requires vehicles to behave, but rather to provide a computational approach that is flexible enough to accommodate a number of ‘moral positions’ concerning what morality demands and what road users may expect, offering an evaluation tool for the social acceptability of an autonomous vehicle’s ethical decision making. (shrink)

Nesse ensaio destacamos alguns elementos do horizonte filosófico diltheyano para pensar a educação. Dilthey se insere no território da educação, via pedagogia, pois considerava que a filosofia representa um instrumento teórico que serve de guia para a ação social do homem ou, em outras palavras, para a atividade pedagógica. Segundo nossa perspectiva, a educação é o principal objetivo da filosofia, pois a formação humana tem culminância no filosofar e este é efeito daquela, além disso, a filosofia diltheyana faz sua reflexão (...) sobre pedagogia e sua cientificidade possível, tendo como contexto o confronto com o positivismo do século XIX e a fundação das ciências do espírito em contraposição às da natureza. É nesse sentido, que o problema da consciência histórica - e sua finitude, articula a autonomia da pedagogia, sem a influência do empirismo científico e as exigências da pedagogia tradicional. (shrink)

Resumo: Esse texto visa passar em revista aspectos do pensamento estético de Immanuel Kant, bem como debater as formas pelas quais suas teorias acerca do juízo influenciam as suas mais agudas concepções acerca do processo formativo dos sujeitos e contribuem para sua compreensão de mundo. Kant empreendeu uma profunda análise a respeito das questões relativas aos juízos estéticos, a partir dos conceitos de belo e de sublime. Assim, o que se procura delinear aqui é o percurso realizado pelo filósofo na (...) abordagem do referido tema, ao passo que analisará as relações existentes entre sua teoria da arte e a questão do esclarecimento, eixo central do projeto filosófico kantiano. Palavras-chave: estética, belo, sublime, arte. (shrink)